No one mines for fun so I presume it must do. However 7000 mining machines is one hell of a big outlay. It doesn't make it clear whether they own the machines themselves or whether they have a deal with someone who owns them.