Yeah, just saw that.
It looks like the Abbott ID NOW test offered by XpresCheck will suffice, at $200, but....
Options now might be:
Can't get it before one's flight to the gateway cities (ATL, IAH, EWR, MIA) because XpresCheck is not open early enough
Can't get it the day before and meet the 12h requirement.
Could stay overnight in IAH,MIA, or EWR and get tested in the morning before the flight to BON. Costs more, plus test cost.
Or could travel through Aruba or Curacao, but it is unclear what tests will be needed to fly there...maybe just the 72h PCR.