The building the Porter Sq Post Office is in has a sign "Office Space for Rent 617 547-7031". I've been in there, and it's smaller offices on the scale you're talking. No idea the rent (if your friend checks it out I'd be most grateful if he were to pass back that intel) or even if the sign lies.