For those curious, I think I've tracked down a non-vented hood. The seller was pretty sure it would fit, and it was $7, so I took a chance and ordered it. I'm still looking for the vented variety, but I'll just have to see how that goes.