It's not inconceivable that there are a number of working ASICs out there. The devs themselves owning ASICs or being paid by ASIC owners would be pretty wild, though. In any event, I think the benefit of hard forking to change the algorithm and remove all doubts outweighs the hassle of hard forking.