I could be wrong but... it sounds like it could be an issue with the brake servo or master cylinder. I have seen this problem with cars in my previous life as a mechanic. Far be it for me to question Lexus technicians, I haven't touched a spanner in years and not up to speed with current technology. ABS sensor fault would just flag up an alarm without brake failure (red herring maybe).