Shave it off!!!
He will feel so fresh and it will always grow back.
I used to buzz cut my poodles a few times a year. Once in Spring once in summer and they were Happy dogs!
Have them leave about 1/2 inch at least though.