MagWLED-1 Enclosure w/ Power Button

I tried using the file on the MagWLED website for the power button model by ‘James’, but it had a lot of build errors when sliced. Unclear if the issue is the file or my download, but it doesn't seem to be published anywhere else to compare. I started over from the base model and added a 4mm hole with 2mm extrusion for support and guidance of the button. Three different height buttons are also supplied - 6mm, 6.5mm, and 7mm - because I couldn't make up my mind which one I liked best. 6mm is nearly flush with the case for reference. Full case print includes 6.5mm button by default. I printed everything in PETG HS, but PLA should be fine since this is intended for indoor use only.