Trade Stanek to Mets?

At first blush, Stanek had a phenomenal season last year with a 1.15 ERA, but stats reveal that he was extremely lucky. His FIP was over 3, his xFIP was nearly 4, and his xERA was over two runs higher than his actual ERA. He is in a walk year, and I don’t think we’ll extend him. The Mets seem panicked about the state of their bullpen with Diaz out for the entire season. Do you think the Astros could get them to overpay for Stanek? And if Astros could, do you think they should?