$WKHS I've heard conflicting things, does WKHS own 10% of Lordstown or do they get 10% of the proceeds from the first 200k Endurance trucks sold? I thought it was the latter