artforz - Super glad you mentioned that. Both that model Flextronic switch and the 9024D ones are similarly priced on eBay, with the Flextronic ones being a tad cheaper. The 9024D ones can (from this thread) also run in fanless mode too, so now I'll probably go that way instead even though they're a little bit pricier.
(note - edited for typo fixes)