How long would it take to mine a bitcoin with $5k worth of dedicated hardware running 24/7? I have access to facilities that don't charge for power consumption, so this seems like an ideal application (until they start charging!).

TIA