The HEVC codec may well be an additional cost for CODEC license as is the case with VC-1 and MPEG2(though that expired!).

https://www.raspberrypi.org/documentation/configuration/conf...

So unsure at this stage, but that may well be the case for any license fees regarding HVEC. Heck, if they have absorbed those costs into the base price - I'd be utterly amazed.