The picture shows 4 RAM chips of type K4G41325 (only one of them is barely readable on the photo) which has a capacity of 4 Gbit, according to the datasheet.Unfortunately I only have the pictures from the Ebay listing.
I did dump the original firmware which I can send later if needed.
Edit: Oh you might be right... I think they mislabeled the listing and this is actually a WX4130? 🤦♂️
4 Gbit / 8 BitsPerByte = 0.5 GB per Chip
0.5 GB * 4 = 2 GB total VRAM