Galaxy Note 10 vs. S10: Is a built-in stylus worth the extra $200?