It appears to take about 1200 bytes of flash.
Thanks! I think 1200 bytes is definitely small enough to be interesting. That would mean (probably) a 2k bootloader (same as the original arduino bootloader) that could do both serial and SD.
Um. Was there supposed to be a link in that message?