Its a bit bigger than it needs to, but the the rectangular hole can be cut out easily. Then, it can be hammered in with medium force and then it fits perfectly. Print upside down.
The author hasn't provided the model origin yet.