小さなマイナスドライバー１本で難なく摘出完了しました。

結果、サイズも同じで、接点の位置も同じなので、この基板を入れ替えるだけでokでした。
5型の基板は黒ずんで劣化している可能性もありましたがそのまま再利用しました。

念のため、仮にポンプ単体で車体側のカプラーと接続して浮きを動かして確認したところ、問題なく動作してくれました。