I'm sure I will get flamed for saying this but here goes, I'm not a big fan of PB blaster, I have used one can of the stuff and with it ended up using a can of
WD-40 with it to loosen stuck bits. I would look for a can of rost off(the spelling is correct) its made by wurth(again the spelling is correct) that stuff will kick WD-40 in the ass. And go easy on the float pin post the break real easy.