SE HB2P Truss Rod Wrench size?

[Hotspur]

I know that most of the PRS SE guitars use a 7mm wrench ... but the SE Hollowbodies are made in a different factory, so I just want to confirm that's the right size, not the 5/16ths used on US guitars or anything else?

Thanks!