The faucets in the men's, women's and family restroom are a Moen Commercial 8894 metering faucet.
The replacement cartridge is a Moen 52100.
Content to follow.