Nope, jokers only filled 4250. The MM are sadly mistaken if they think I will chase this as I have plenty of shares as it is.