The file size was fine from you, Matt. I converted it to a PNG before sending it to Mike to print, which killed any indication of its intended target size. Next time I'll save it as PDF, which is designed to be ready-to-print.
For future reference, a great way to print an enormous, high-res image file is to insert it into a printing program, like Word or Photoshop.