Yup, and so does Rock Pi (I think they're even cross-compatible). Unfortunately the official Raspberry hat maxes out at 2.5A, which starts being problematic if

Yup, and so does Rock Pi (I think they're even cross-compatible). Unfortunately the official Raspberry hat maxes out at 2.5A, which starts being problematic if you add a single power-hungry peripheral, like an external USB disk. I've even gotten warnings on insufficient power in dmesg with zero peripherals attached on a 4B+. So far I had no issues with DSLRKIT's third-party hats, though!