i,ve broken off one of the float pin lugs , but i have just seen the other one has been broken before and has been repaired with a machined up lug attached to the body with a 3mm threaded rod , half in new lug half in carb/remaining lug , was this a bought repair kit or would it hahe been made up by someone ?