How are you doing Michael! I bought your NSX in 2018 from an exotic dealership in Ohio. Had a question, it looks like the water pump was changed since it had the newer cover housing on it that comes with the 97 and up kits. Was wondering if you had the water pump and timing belt replaced and serviced during your ownership or it was the owner you sold it to. Thank you so much!