Definitely a GS! I don't necesarily think it means he needs weaning, there's often a big GS around 4mo. I guess you can just watch it and see. It sounds like you've got a good plan re: feeds and top ups. You can also offer a top up by breast, so that you don't have to pump all day long.