Got something you may want to try. At good hot grilling temperatures you are using, Olive Oil goes above its working temp; for a change try some good quality Grape Seed Oil. It takes the highest temps of grilling better.
Good thinking! I knew olive oil had its temp limit but I’ll bet something like grapeseed or peanut oil would be better for the cast iron. Thanks for the tip.