Noisy baby/ floppy larynx

Hi Mum's,

Just looking for a little bit of advice. I took my baby for his 6 week check up yesterday and we mentioned to the doctor about some discolouration around his mouth to which the Dr said was fine as his lips and inside of his mouth are a good colour.

However, I also mentioned he makes this Rasping noise at night and the Dr said he probably had a floppy larynx. I've looked online and read about it on the Cleveland clinic who said if there is a tinge around the mouth to go straight to a doctor.

My question is, do I push this with the GP and check he definitely has a floppy larynx? (Symptoms seem to suggest so) and also if anyone has any tips on dealing with it?

Thanks!