Hi Dave,
CR 788099 is logged - no idea on timeline yet - but it is escalated. If your customer has ability to create incident, that will be ideal - we attach CR to it and raise priority that way. If this does happen let me know the incident number so I can grab it.
Cheers,
-Paul