I just pulled the master cylinder out, and disconnected the vacum hose to the booster. When I did that, I did hear a "whoosh" sound as it lost pressure, so maybe the booster is okay....I think I might pull it out anyway and look for fluid inside, since I've got time before the cylinder comes in.