Working, good. I don’t know what performance you expect, but the delays on the but3 action mean that for 1 second it’s not responding to the joystick. Maybe that doesn’t matter but I would set the frameRate to something achievable, e.g. 20, and use a counter to trigger the second servoWrite.
You don’t need all the ‘== true’. ‘if (but6)’ is fine, or ‘if (!but6)’ for testing for false.