J4025 is good, I actually bought this exact model last year for 75€ with 120GB SSD and 8GB of RAM. Prices have went up since and I don’t live in the Netherlands which can be expensive. So all in all not a bad deal I would say.