Whatever helps you sleep at night joe, bottom line I suggest he goes by asrock first to be on the safe side.
Also you do understand that if a custom third party bios chip damages his board in any way.
His new or current warrenty service will be terminated and he will have to buy a new board.