Hopefully he found one since the original thread is 8 years old, but thanks for posting the part numbers for anybody that needs them in the future