Not sure on the availability/cost of the part. I would start with weber.com.
Also, forum member "Kevin L (NKY)" was parting out an old performer.
I bought a tank from him. Maybe he can help you out.
In any case, I see you're already enjoying the grill. Honestly, I've only used gas
ignition...