Thanks for all the info, really appreciate it. I think we will skip the driving bit and leave the car in Eilat and get a taxi to/from the border and up to Petra. Will probably spend just two days/one night in Petra

Is the border crossing relatively hassle free - been through Ben Gurion airport numerous time so I know to expect the questioning but apart from that is it pretty straight forward and quick?