It seems correct: one hour 51% attack will make you allocate resources that otherwise would mine 6 blocks. 6 x 12.5 x 7500 = 562,500 dollar

But of course this is only the power, it will be extremely hard to set up the hardware