Just adding another positive data point on the Tesla Tap Mini 80amp.
We have two Tesla HPWC Gen 2's at home. Both of them are a very tight fit on the Tesla Tap but they charge the Lucid up great. Saves me from having to get my electrician back out. I may Dremel it if it doesn't loosen up some...