The good part was when we got home, our Hamilton tickets were waiting in the mail. That one is in December, but since they said they'd be mailed out after 10/8, I was starting to wonder if I should call.
Is that in Ohio or part of your NYC trip?
Edit: Upon re-reading, it is unlikely you meant NYC. Are the 5 of you going?
Correct. Phantom is the NYC trip, Hamilton is coming here in December. And yes, all 5 are going next month.