There's nothing wrong with that, it's perfect for an ASUS Tinker Board with the heatsink installed. This is the heatsink that came with the board and I measured it to be 8-9mm high (difficult to measure with a 12" plastic ruler once on the board). Anything above that probably won't work as it only cleans the fan shroud. The fan is audible but not noisy, at least for me, regardless of whether you connect the 3.3V or 5V pin, the difference between 3.3V and 5V was also barely noticeable. The case is aesthetically pleasing and functional, it includes 4 small rods on legs and 4 screws, 3 of which attach the circuit board to the bottom of the case, the fourth holds the bottom and top of the case together. The screws aren't strictly necessary as the two halves of the case fit together exactly, but it does is nice to have.
π Ultimate BBC Micro bit Sensor Starter Kit: Keyestudio 37-in-1 Box with Tutorial, Compatible with V1.5 & V2, Gift for Kids and Adults (Microbit Board Not Included)
11 Review
GeeekPi Raspberry Pi Cluster Case with Cooling Fan and Heatsink for Pi 4 Model B, 3 Model B+ & 3/2 Model B
11 Review
Gikfun Screw Shield Expansion Board: Enhance Arduino UNO R3 with the EK7007 Add-On
11 Review
Vilros Raspberry Pi 4 4GB Complete Starter Kit - Black Fan-Cooled Aluminum Case for Heavy-Duty Performance
12 Review
36-Pack Black Rubber PC CPU/Case Fan Screws/Rivets Set for Computer
11 Review
Glarks 660 Pieces Phillips Assortment Motherboard
10 Review
uxcell 3.5" HDD Screw Black 200pcs for Computer PC Case - Flat Phillips Head - 6#-32 - Hard Drive Fasteners
10 Review
Comprehensive 500pcs Laptop Screw Kit Set for π© IBM HP Dell Lenovo Samsung Sony Toshiba Gateway Acer
12 Review