Hey guys, Does anyone happen to know which print heads are in the following stylus pro models? 4000 4800 9800 TIA!