Thats a personal preferance. Although
I wouldnt cook them there. I think you' ll be ok if you pull them out at 145 let rest 5 min before youcut into them. If they are not cooked enough for everyone' s liking let them put their portion back in the oven or microwave for 20 seconds. I like mine rare on the grill. There is also another post a few weeks ago on the same subject.