A.A.
Whether 9 hours is too long depends on you, and your milk production. If you are engorged and uncomfortable than it sounds like it is too long. Mastitis is no fun, nor is being full and hurting at work. If you pump at 3, you'll still have milk. Pumping is not nearly as effective as nursing your little one, you can also just pump enough to relieve the pressure. I can go from our 5pm session to the next morning when DS gets up at 7 without getting too full, but that's me.