Yes. 5NT must be forcing. The only reason I didn't snip Han's sentence about 5H maybe not being forcing is because it put his whole argument in better context and clarified why using 5N with 6-5 (6D with 5-6) was a better idea than trying 5H at all.

Help
