their bellies get pink when they shed, some get real pink and some have just a slight pink to them. and it sounds like he peed and urated so I wouldn't worry about that.