i have one, hp mini g31... pretty nice for having the nice 10gbit usb-c sockets, mine has the one on the back that also does displayport, got it set up with 20gb of memory and 4tb SSD, nice cheap, low power rig for a full node, only draws max 35W

in a pinch it would be an adequate workstation too, but it's a lot slower than my main workstation.