You should be able to do it using a pivot node and setting the plateform as child of it. Then you you update the rotation property of the pivot when the player pushes the button.
This should help How to make ideal circle Path2D in simple way? - #2 by system.