Regret no answers but a Q -
Did you just plug your 110/240v 50/60Hz adaptor into the 115v/400Hz aircraft supply? . . and it produced suitable output OK?
I didn't know that would work
. . but then again I'm the seasoned world traveller who thought Germany was still on 110v until alerted by the smell of burning from my 110v adaptor