if this had been released in summer

I don't think so. When it came out it played for months after Christmas so it had staying power and could have been released at Christmas if Fox chose to release it there. Gremlins was released in the summer and it was a holiday movie