2) at least one house in Pittsburgh that runs a few GPU servers for its owner's startup. ;) (not quite 4000, but over 3000 this month including our normal use and ac)