What would a pump like the Eheim 1250 plug into? I would guess that it would plug into a power outlet in the wall, since I thought that it was designed to be used in an aquarium, but it could plug into the PSU, as well. If it does plug into the wall, is the only option that I would have to drill a hole in my case to run to power cord from the pump to the wall? Thanks.