Roku may be getting ready to unveil a refreshed line of streaming devices, if documents recently filed with the Federal Communications Commission (FCC) are any indication. In the filing, Roku was looking for approval for three new streaming boxes.

Roku redacted many key details from the filings, which were made available by the FCC Wednesday. What we do know is that the three new streaming devices spot the model numbers 4620X, 4630X and 4640X. Roku has in the past used model numbers liberally, but it’s possible that these are in fact new Roku 2, Roku 3 and Roku 4 streaming boxes.

The company first released its 4K-capable Roku 4 streamer in October of 2015. The current Roku 2 and Roku 3 models received minor hardware refreshes in early 2015, which makes it likely that the company is getting ready for another refresh in time for the holiday season.

We don’t quite know how these models are going to differ from what’s currently available to Roku customers, save for a few details revealed in a table that was included in a test report:

From the looks of it, the top-line 4640X model is going to feature an Ethernet port, the remote control locator capable of making your remote emit a sound, a micro SD slot, a USB 2 port and digital audio out — all features that are currently available on the Roku 4. Interestingly, it looks like Roku may be ditching USB ports for its cheaper streamers, which is a departure from current-generation models.

A Roku spokesperson declined to comment when contacted by Variety, so we may just have to wait until Roku officially announces additional details on these new devises. However, anyone in the market for buying a new Roku right now should probably wait until the beginning of the holiday season in order to get the latest hardware.